subsequence of a sequence real analysis